Skip to content

Introduce debuginfo to statements in MIR #142771

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 9 commits into
base: master
Choose a base branch
from
Draft

Introduce debuginfo to statements in MIR #142771

wants to merge 9 commits into from
+2,316 −1,380

Conversation

dianqk
Copy link
Member

@dianqk dianqk commented Jun 20, 2025

Not ready for reviewing. Something known:

  • Retain debuginfo when concatenating bbs
  • Document about when to drop debuginfos (don't be worse than the optimized LLVM IR)
  • Missing tests

r? ghost

@rustbot rustbot added A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jun 20, 2025
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@dianqk dianqk force-pushed the mir-stmt-debuginfo branch from 15c968a to 6b013d4 Compare June 20, 2025 08:01
@rust-log-analyzer

This comment has been minimized.

Sign in to view
bjorn3
bjorn3 reviewed Jun 20, 2025
View reviewed changes
@dianqk dianqk force-pushed the mir-stmt-debuginfo branch from 6b013d4 to 51576e7 Compare June 20, 2025 09:23
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@dianqk
Copy link
Member Author

dianqk commented Jun 20, 2025

@bors2 try @rust-timer queue

@rust-timer

This comment has been minimized.

Sign in to view
@rust-bors
Copy link

rust-bors bot commented Jun 20, 2025

⌛ Trying commit 51576e7 with merge eb83156…

To cancel the try build, run the command @bors2 try cancel.

rust-bors bot added a commit that referenced this pull request Jun 20, 2025
@rust-bors
Auto merge of #142771 - dianqk:mir-stmt-debuginfo, r=<try>
eb83156 
Introduce debuginfo to statements in MIR

Not ready for reviewing. Something known:

- [ ] Retain debuginfo when concatenating bbs
- [ ] Document about when to drop debuginfos (don't be worse than the optimized LLVM IR)
- [ ] Missing tests

r? ghost
@rustbot rustbot added the S-waiting-on-perf Status: Waiting on a perf run to be completed. label Jun 20, 2025
@rust-bors
Copy link

rust-bors bot commented Jun 20, 2025

☀️ Try build successful (CI)
Build commit: eb83156 (eb83156169ae3bbdd1385d498455dbc44283f5ff, parent: 18491d5be00eb3ed2f1ccee2ac5b792694f2a7a0)

@rust-timer

This comment has been minimized.

Sign in to view
@rust-timer
Copy link
Collaborator

Finished benchmarking commit (eb83156): comparison URL.

Overall result: ❌✅ regressions and improvements - please read the text below

Benchmarking this pull request means it may be perf-sensitive – we'll automatically label it not fit for rolling up. You can override this, but we strongly advise not to, due to possible changes in compiler perf.

Next Steps: If you can justify the regressions found in this try perf run, please do so in sufficient writing along with @rustbot label: +perf-regression-triaged. If not, please fix the regressions and do another perf run. If its results are neutral or positive, the label will be automatically removed.

@bors rollup=never
@rustbot label: -S-waiting-on-perf +perf-regression

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

mean range count
Regressions ❌
(primary)		 0.9% [0.2%, 14.5%] 51
Regressions ❌
(secondary)		 0.8% [0.1%, 1.6%] 52
Improvements ✅
(primary)		 -0.4% [-2.1%, -0.2%] 35
Improvements ✅
(secondary)		 -0.3% [-0.5%, -0.2%] 39
All ❌✅ (primary) 0.4% [-2.1%, 14.5%] 86

Max RSS (memory usage)

Results (primary 2.3%, secondary 3.4%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)		 2.3% [0.8%, 4.7%] 54
Regressions ❌
(secondary)		 3.6% [0.7%, 7.4%] 38
Improvements ✅
(primary)		 - - 0
Improvements ✅
(secondary)		 -3.3% [-3.3%, -3.3%] 1
All ❌✅ (primary) 2.3% [0.8%, 4.7%] 54

Cycles

Results (primary 3.2%, secondary 2.5%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)		 3.9% [1.1%, 14.4%] 7
Regressions ❌
(secondary)		 2.5% [2.0%, 3.3%] 3
Improvements ✅
(primary)		 -2.0% [-2.0%, -2.0%] 1
Improvements ✅
(secondary)		 - - 0
All ❌✅ (primary) 3.2% [-2.0%, 14.4%] 8

Binary size

Results (primary 0.5%, secondary 0.3%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)		 0.7% [0.0%, 2.2%] 123
Regressions ❌
(secondary)		 1.1% [0.0%, 3.5%] 59
Improvements ✅
(primary)		 -0.9% [-6.5%, -0.1%] 11
Improvements ✅
(secondary)		 -0.5% [-13.0%, -0.1%] 55
All ❌✅ (primary) 0.5% [-6.5%, 2.2%] 134

Bootstrap: 691.482s -> 692.445s (0.14%)
Artifact size: 371.94 MiB -> 372.12 MiB (0.05%)

@rustbot rustbot added perf-regression Performance regression. and removed S-waiting-on-perf Status: Waiting on a perf run to be completed. labels Jun 20, 2025
@dianqk dianqk force-pushed the mir-stmt-debuginfo branch from 51576e7 to e72c3ae Compare June 21, 2025 02:31
@dianqk
Copy link
Member Author

dianqk commented Jun 21, 2025

@bors2 try @rust-timer queue

@rust-timer

This comment has been minimized.

Sign in to view
@rust-bors
Copy link

rust-bors bot commented Jun 21, 2025

⌛ Trying commit e72c3ae with merge 77d5c6a…

To cancel the try build, run the command @bors2 try cancel.

rust-bors bot added a commit that referenced this pull request Jun 21, 2025
@rust-bors
Auto merge of #142771 - dianqk:mir-stmt-debuginfo, r=<try>
77d5c6a 
Introduce debuginfo to statements in MIR

Not ready for reviewing. Something known:

- [ ] Retain debuginfo when concatenating bbs
- [ ] Document about when to drop debuginfos (don't be worse than the optimized LLVM IR)
- [ ] Missing tests

r? ghost
@rustbot rustbot added the S-waiting-on-perf Status: Waiting on a perf run to be completed. label Jun 21, 2025
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@rust-bors
Copy link

rust-bors bot commented Jun 21, 2025

☀️ Try build successful (CI)
Build commit: 77d5c6a (77d5c6a20a77fabdee3790a412618b82178e9ab4, parent: 15c701fbc995eb6c5b3a86021c18185f8eee020d)

@rust-timer

This comment has been minimized.

Sign in to view
@rust-timer
Copy link
Collaborator

Finished benchmarking commit (77d5c6a): comparison URL.

Overall result: ❌✅ regressions and improvements - please read the text below

Benchmarking this pull request means it may be perf-sensitive – we'll automatically label it not fit for rolling up. You can override this, but we strongly advise not to, due to possible changes in compiler perf.

Next Steps: If you can justify the regressions found in this try perf run, please do so in sufficient writing along with @rustbot label: +perf-regression-triaged. If not, please fix the regressions and do another perf run. If its results are neutral or positive, the label will be automatically removed.

@bors rollup=never
@rustbot label: -S-waiting-on-perf +perf-regression

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

mean range count
Regressions ❌
(primary)		 0.9% [0.1%, 14.5%] 53
Regressions ❌
(secondary)		 0.8% [0.1%, 1.6%] 50
Improvements ✅
(primary)		 -0.4% [-3.0%, -0.2%] 46
Improvements ✅
(secondary)		 -0.3% [-0.5%, -0.2%] 41
All ❌✅ (primary) 0.3% [-3.0%, 14.5%] 99

Max RSS (memory usage)

Results (primary 2.4%, secondary 3.4%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)		 2.4% [0.5%, 5.7%] 38
Regressions ❌
(secondary)		 4.2% [1.3%, 6.2%] 25
Improvements ✅
(primary)		 - - 0
Improvements ✅
(secondary)		 -1.7% [-3.0%, -1.1%] 4
All ❌✅ (primary) 2.4% [0.5%, 5.7%] 38

Cycles

Results (primary 2.1%, secondary 0.5%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)		 3.0% [0.8%, 14.1%] 10
Regressions ❌
(secondary)		 3.3% [2.3%, 4.3%] 2
Improvements ✅
(primary)		 -2.3% [-2.9%, -1.7%] 2
Improvements ✅
(secondary)		 -2.2% [-2.6%, -1.9%] 2
All ❌✅ (primary) 2.1% [-2.9%, 14.1%] 12

Binary size

Results (primary 0.5%, secondary 0.3%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)		 0.7% [0.0%, 3.0%] 122
Regressions ❌
(secondary)		 1.1% [0.0%, 3.5%] 59
Improvements ✅
(primary)		 -0.7% [-4.9%, -0.0%] 15
Improvements ✅
(secondary)		 -0.5% [-12.7%, -0.0%] 55
All ❌✅ (primary) 0.5% [-4.9%, 3.0%] 137

Bootstrap: 690.617s -> 691.47s (0.12%)
Artifact size: 371.83 MiB -> 372.01 MiB (0.05%)

@rustbot rustbot removed the S-waiting-on-perf Status: Waiting on a perf run to be completed. label Jun 21, 2025
@bors
Copy link
Collaborator

bors commented Jun 25, 2025

☔ The latest upstream changes (presumably #142870) made this pull request unmergeable. Please resolve the merge conflicts.

@bors bors added the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Jun 25, 2025
@dianqk dianqk force-pushed the mir-stmt-debuginfo branch from e72c3ae to 249abcd Compare June 25, 2025 22:41
@dianqk
Copy link
Member Author

dianqk commented Jun 25, 2025

@bors2 try @rust-timer queue

@rust-timer
Copy link
Collaborator

Awaiting bors try build completion.

@rustbot label: +S-waiting-on-perf

@rust-bors
Copy link

rust-bors bot commented Jun 25, 2025

⌛ Trying commit 249abcd with merge 08b3cc7…

To cancel the try build, run the command @bors2 try cancel.

rust-bors bot added a commit that referenced this pull request Jun 25, 2025
@rust-bors
Auto merge of #142771 - dianqk:mir-stmt-debuginfo, r=<try>
08b3cc7 
Introduce debuginfo to statements in MIR

Not ready for reviewing. Something known:

- [ ] Retain debuginfo when concatenating bbs
- [ ] Document about when to drop debuginfos (don't be worse than the optimized LLVM IR)
- [ ] Missing tests

r? ghost
@rustbot rustbot added the S-waiting-on-perf Status: Waiting on a perf run to be completed. label Jun 25, 2025
@rust-log-analyzer
Copy link
Collaborator

The job aarch64-gnu-llvm-19-1 failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot) 
test [codegen] tests/codegen/zst-offset.rs ... ok

failures:

---- [codegen] tests/codegen/debuginfo-dse.rs#CODEGEN stdout ----

error in revision `CODEGEN`: verification with 'FileCheck' failed
status: exit status: 1
command: "/usr/lib/llvm-19/bin/FileCheck" "--input-file" "/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen/debuginfo-dse.CODEGEN/debuginfo-dse.ll" "/checkout/tests/codegen/debuginfo-dse.rs" "--check-prefix=CHECK" "--check-prefix" "CODEGEN" "--allow-unused-prefixes" "--dump-input-context" "100"
stdout: none
--- stderr -------------------------------
/checkout/tests/codegen/debuginfo-dse.rs:40:14: error: CODEGEN: expected string not found in input
 // CODEGEN: #dbg_value(ptr poison, [[VAR_val_ref:![0-9]+]], !DIExpression()
             ^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen/debuginfo-dse.CODEGEN/debuginfo-dse.ll:32:27: note: scanning from here
define noundef i32 @no_ptr(i32 noundef %val) unnamed_addr #0 !dbg !54 {
                          ^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen/debuginfo-dse.CODEGEN/debuginfo-dse.ll:36:2: note: possible intended match here
 #dbg_declare(ptr %val.dbg.spill, !58, !DIExpression(), !61)
 ^

Input file: /checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen/debuginfo-dse.CODEGEN/debuginfo-dse.ll
Check file: /checkout/tests/codegen/debuginfo-dse.rs

-dump-input=help explains the following input dump.

Input was:
<<<<<<
            1: ; ModuleID = 'debuginfo_dse.d372bb6f947d7e21-cgu.0' 
            2: source_filename = "debuginfo_dse.d372bb6f947d7e21-cgu.0" 
            3: target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32" 
            4: target triple = "aarch64-unknown-linux-gnu" 
            5:  
            6: ; Function Attrs: uwtable 
            7: define noundef i32 @ref(ptr noalias noundef readonly align 8 dereferenceable(24) %ref_foo) unnamed_addr #0 !dbg !6 { 
            8: start: 
            9:  %ref_foo.dbg.spill = alloca [8 x i8], align 8 
           10:  store ptr %ref_foo, ptr %ref_foo.dbg.spill, align 8 
           11:  #dbg_declare(ptr %ref_foo.dbg.spill, !22, !DIExpression(), !31) 
           12:  #dbg_value(ptr %ref_foo, !23, !DIExpression(), !32) 
           13:  #dbg_value(ptr %ref_foo, !26, !DIExpression(DW_OP_plus_uconst, 8, DW_OP_stack_value), !33) 
           14:  #dbg_value(ptr %ref_foo, !29, !DIExpression(DW_OP_plus_uconst, 16, DW_OP_stack_value), !34) 
           15:  %_0 = load i32, ptr %ref_foo, align 8, !dbg !35, !noundef !20 
           16:  ret i32 %_0, !dbg !36 
           17: } 
           18:  
           19: ; Function Attrs: uwtable 
           20: define noundef i32 @ptr(ptr noalias nocapture noundef readonly align 8 dereferenceable(24) %ptr_foo) unnamed_addr #0 !dbg !37 { 
           21: start: 
           22:  #dbg_declare(ptr %ptr_foo, !41, !DIExpression(), !48) 
           23:  #dbg_value(ptr %ptr_foo, !42, !DIExpression(), !49) 
           24:  #dbg_value(ptr %ptr_foo, !44, !DIExpression(DW_OP_plus_uconst, 8, DW_OP_stack_value), !50) 
           25:  #dbg_value(ptr %ptr_foo, !46, !DIExpression(DW_OP_plus_uconst, 16, DW_OP_stack_value), !51) 
           26:  %0 = getelementptr inbounds i8, ptr %ptr_foo, i64 16, !dbg !52 
           27:  %_0 = load i32, ptr %0, align 8, !dbg !52, !noundef !20 
           28:  ret i32 %_0, !dbg !53 
           29: } 
           30:  
           31: ; Function Attrs: uwtable 
           32: define noundef i32 @no_ptr(i32 noundef %val) unnamed_addr #0 !dbg !54 { 
check:40'0                               X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
           33: start: 
check:40'0     ~~~~~~~
           34:  %val.dbg.spill = alloca [4 x i8], align 4 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           35:  store i32 %val, ptr %val.dbg.spill, align 4 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           36:  #dbg_declare(ptr %val.dbg.spill, !58, !DIExpression(), !61) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:40'1      ?                                                            possible intended match
           37:  ret i32 %val, !dbg !62 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~
           38: } 
check:40'0     ~~
           39:  
check:40'0     ~
           40: attributes #0 = { uwtable "frame-pointer"="non-leaf" "probe-stack"="inline-asm" "target-cpu"="generic" "target-features"="+v8a,+outline-atomics" } 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           41:  
check:40'0     ~
           42: !llvm.module.flags = !{!0, !1, !2} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           43: !llvm.ident = !{!3} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~
           44: !llvm.dbg.cu = !{!4} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~
           45:  
check:40'0     ~
           46: !0 = !{i32 8, !"PIC Level", i32 2} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           47: !1 = !{i32 7, !"Dwarf Version", i32 4} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           48: !2 = !{i32 2, !"Debug Info Version", i32 3} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           49: !3 = !{!"rustc version 1.90.0-nightly (e8b0a8621 2025-06-25)"} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           50: !4 = distinct !DICompileUnit(language: DW_LANG_Rust, file: !5, producer: "clang LLVM (rustc version 1.90.0-nightly (e8b0a8621 2025-06-25))", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           51: !5 = !DIFile(filename: "/checkout/tests/codegen/debuginfo-dse.rs/@/debuginfo_dse.d372bb6f947d7e21-cgu.0", directory: "/checkout/obj") 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           52: !6 = distinct !DISubprogram(name: "ref", scope: !8, file: !7, line: 11, type: !9, scopeLine: 11, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !4, templateParams: !20, retainedNodes: !21) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           53: !7 = !DIFile(filename: "/checkout/tests/codegen/debuginfo-dse.rs", directory: "", checksumkind: CSK_MD5, checksum: "2964a82746b14080f028b5017effe8eb") 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           54: !8 = !DINamespace(name: "debuginfo_dse", scope: null) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           55: !9 = !DISubroutineType(types: !10) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           56: !10 = !{!11, !12} 
check:40'0     ~~~~~~~~~~~~~~~~~~
           57: !11 = !DIBasicType(name: "i32", size: 32, encoding: DW_ATE_signed) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           58: !12 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&debuginfo_dse::Foo", baseType: !13, size: 64, align: 64, dwarfAddressSpace: 0) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           59: !13 = !DICompositeType(tag: DW_TAG_structure_type, name: "Foo", scope: !8, file: !14, size: 192, align: 64, flags: DIFlagPublic, elements: !15, templateParams: !20, identifier: "d9b3a84726b99107a33ff605685b388c") 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           60: !14 = !DIFile(filename: "<unknown>", directory: "") 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           61: !15 = !{!16, !17, !19} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~
           62: !16 = !DIDerivedType(tag: DW_TAG_member, name: "__0", scope: !13, file: !14, baseType: !11, size: 32, align: 32, flags: DIFlagPrivate) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           63: !17 = !DIDerivedType(tag: DW_TAG_member, name: "__1", scope: !13, file: !14, baseType: !18, size: 64, align: 64, offset: 64, flags: DIFlagPrivate) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           64: !18 = !DIBasicType(name: "i64", size: 64, encoding: DW_ATE_signed) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           65: !19 = !DIDerivedType(tag: DW_TAG_member, name: "__2", scope: !13, file: !14, baseType: !11, size: 32, align: 32, offset: 128, flags: DIFlagPrivate) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           66: !20 = !{} 
check:40'0     ~~~~~~~~~~
           67: !21 = !{!22, !23, !26, !29} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           68: !22 = !DILocalVariable(name: "ref_foo", arg: 1, scope: !6, file: !7, line: 11, type: !12) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           69: !23 = !DILocalVariable(name: "ref_v0", scope: !24, file: !7, line: 18, type: !25, align: 64) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           70: !24 = distinct !DILexicalBlock(scope: !6, file: !7, line: 18, column: 5) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           71: !25 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&i32", baseType: !11, size: 64, align: 64, dwarfAddressSpace: 0) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           72: !26 = !DILocalVariable(name: "ref_v1", scope: !27, file: !7, line: 19, type: !28, align: 64) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           73: !27 = distinct !DILexicalBlock(scope: !24, file: !7, line: 19, column: 5) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           74: !28 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&i64", baseType: !18, size: 64, align: 64, dwarfAddressSpace: 0) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           75: !29 = !DILocalVariable(name: "ref_v2", scope: !30, file: !7, line: 20, type: !25, align: 64) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           76: !30 = distinct !DILexicalBlock(scope: !27, file: !7, line: 20, column: 5) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           77: !31 = !DILocation(line: 11, column: 10, scope: !6) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           78: !32 = !DILocation(line: 18, column: 9, scope: !24) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           79: !33 = !DILocation(line: 19, column: 9, scope: !27) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           80: !34 = !DILocation(line: 20, column: 9, scope: !30) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           81: !35 = !DILocation(line: 21, column: 5, scope: !30) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           82: !36 = !DILocation(line: 22, column: 2, scope: !6) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           83: !37 = distinct !DISubprogram(name: "ptr", scope: !8, file: !7, line: 25, type: !38, scopeLine: 25, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !4, templateParams: !20, retainedNodes: !40) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           84: !38 = !DISubroutineType(types: !39) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           85: !39 = !{!11, !13} 
check:40'0     ~~~~~~~~~~~~~~~~~~
           86: !40 = !{!41, !42, !44, !46} 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           87: !41 = !DILocalVariable(name: "ptr_foo", arg: 1, scope: !37, file: !7, line: 25, type: !13) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           88: !42 = !DILocalVariable(name: "ptr_v0", scope: !43, file: !7, line: 31, type: !25, align: 64) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           89: !43 = distinct !DILexicalBlock(scope: !37, file: !7, line: 31, column: 5) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           90: !44 = !DILocalVariable(name: "ptr_v1", scope: !45, file: !7, line: 32, type: !28, align: 64) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           91: !45 = distinct !DILexicalBlock(scope: !43, file: !7, line: 32, column: 5) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           92: !46 = !DILocalVariable(name: "ptr_v2", scope: !47, file: !7, line: 33, type: !25, align: 64) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           93: !47 = distinct !DILexicalBlock(scope: !45, file: !7, line: 33, column: 5) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           94: !48 = !DILocation(line: 25, column: 8, scope: !37) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           95: !49 = !DILocation(line: 31, column: 9, scope: !43) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           96: !50 = !DILocation(line: 32, column: 9, scope: !45) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           97: !51 = !DILocation(line: 33, column: 9, scope: !47) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           98: !52 = !DILocation(line: 34, column: 5, scope: !47) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           99: !53 = !DILocation(line: 35, column: 2, scope: !37) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          100: !54 = distinct !DISubprogram(name: "no_ptr", scope: !8, file: !7, line: 38, type: !55, scopeLine: 38, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !4, templateParams: !20, retainedNodes: !57) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          101: !55 = !DISubroutineType(types: !56) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          102: !56 = !{!11, !11} 
check:40'0     ~~~~~~~~~~~~~~~~~~
          103: !57 = !{!58, !59} 
check:40'0     ~~~~~~~~~~~~~~~~~~
          104: !58 = !DILocalVariable(name: "val", arg: 1, scope: !54, file: !7, line: 38, type: !11) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          105: !59 = !DILocalVariable(name: "val_ref", scope: !60, file: !7, line: 41, type: !25, align: 64) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          106: !60 = distinct !DILexicalBlock(scope: !54, file: !7, line: 41, column: 5) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          107: !61 = !DILocation(line: 38, column: 11, scope: !54) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          108: !62 = !DILocation(line: 43, column: 2, scope: !54) 
check:40'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>
------------------------------------------

@rust-bors
Copy link

rust-bors bot commented Jun 26, 2025

☀️ Try build successful (CI)
Build commit: 08b3cc7 (08b3cc7cfad6d59a35345025bb663efcd25f3a20, parent: d14d202262d13df896b0c624b0cec6e4bfde631a)

@rust-timer
Copy link
Collaborator

Queued 08b3cc7 with parent d14d202, future comparison URL.
There are currently 5 preceding artifacts in the queue.
It will probably take at least ~8.2 hours until the benchmark run finishes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bjorn3 bjorn3 bjorn3 left review comments

Assignees
No one assigned
Labels
A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. perf-regression Performance regression. S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. S-waiting-on-perf Status: Waiting on a perf run to be completed. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@dianqk @rust-log-analyzer @rust-timer @bors @bjorn3 @rustbot